-c --no-main --ghc-dont-call-ghc
